Lemma hidden : False.
Proof. Admitted.

Lemma aux : False.
Proof. apply hidden. Qed.